Coordination by means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming
نویسندگان
چکیده
منابع مشابه
Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming
Concurrent constraint programming has been thought as providing coordination of concurrent processes on the basis of the availability and sharing of information. It classically incorporates a form of asynchronous communication via a shared store. In previous work ([1,2]), we presented a new version of the ask and tell primitives which features asynchronicity and synchronicity, our approach bein...
متن کاملNew Versions of Ask and Tell for Synchronous Communication in Concurrent Constraint Programming
Concurrent constraint programming is classically based on asynchronous communication via a shared store. This paper presents new versions of the ask and tell primitives which features synchronicity. Our approach is based on the idea of telling new information just in the case that a concurrently running process is asking for it. The new primitives are shown to be simple yet expressive enough to...
متن کاملComputer Science Technical Reports a Process Algebra for Synchronous Concurrent Constraint Programming a Process Algebra for Synchronous Concurrent Constraint Programming
Concurrent constraint programming is classically based on asynchronous communication via a shared store. Synchrony can be achieved by forcing concurrently running ask and tell primitives to synchronise on \new common information". This paper outlines this framework, called Scc, and develops an algebraic semantics for it. The Scc framework is shown to share similarities with both the traditional...
متن کاملA Paradigm for Asynchronous Communication and its Application to Concurrent Constraint Programming
We develop a general semantic theory of asynchronous communication in concurrent logic and concurrent constraint languages. The main characteristic of these languages, from the point of view of the communication mechanism, is that processes interact by querying and updating some common data structure. We abstract from the speciic features of the underlying data structure by means of a uniform l...
متن کاملComputer Science Technical Reports New Versions of Ask and Tell for Synchronous Communication in Concurrent Constraint Programming New Versions of Ask and Tell for Synchronous Communication in Concurrent Constraint Programming
Concurrent constraint programming is classically based on asynchronous communication via a shared store. This paper presents new versions of the ask and tell primitives which features synchronicity. Our approach is based on the idea of telling new information just in the case that a concurrently running process is asking for it. The new primitives are shown to be simple yet expressive enough to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80377-9